w{-}locl($w$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}loc($w$; $e$) $=$ w{-}loc($w$; ${\it e'}$) $\in$ Id \& w{-}time($w$; $e$)$<$w{-}time($w$; ${\it e'}$)